翻訳と辞書
Words near each other
・ Tate Smith
・ Tate Snyder Kimsey Architects
・ Tate Springs Springhouse
・ Tate St Ives
・ Tate Steinsiek
・ Tate Stevens
・ Tate Stevens (album)
・ Tate Taylor
・ Tate topology
・ Tate Township
・ Tate Township, Clermont County, Ohio
・ Tate Township, Saline County, Illinois
・ Tate twist
・ Tate v Williamson
・ Tate Wilkinson
Tate's algorithm
・ Tate's Barn
・ Tate's Bluff Fortification
・ Tate's Cairn
・ Tate's Cairn Highway
・ Tate's Cairn Tunnel
・ Tate's fat-tailed mouse opossum
・ Tate's Hell State Forest
・ Tate's isogeny theorem
・ Tate's purchase of The Upper Room
・ Tate's shrew rat
・ Tate's thesis
・ Tate's three-striped dasyure
・ Tate's triok
・ Tate's Voyage


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Tate's algorithm : ウィキペディア英語版
Tate's algorithm
In the theory of elliptic curves, Tate's algorithm takes as input an integral model of an elliptic curve ''E'' over \mathbb, or more generally an algebraic number field, and a prime or prime ideal ''p''. It returns the exponent ''f''''p'' of ''p'' in the conductor of ''E'', the type of reduction at ''p'', the local index
: c_p=(),
where E^0(\mathbb_p) is the group of \mathbb_p-points
whose reduction mod ''p'' is a non-singular point. Also, the algorithm determines whether or not the given integral model is minimal at ''p'', and, if not, returns an integral model with integral coefficients for which the valuation at ''p'' of the discriminant is minimal.
Tate's algorithm also gives the structure of the singular fibers given by the Kodaira symbol or Néron symbol, for which, see elliptic surfaces: in turn this determines the exponent ''f''''p'' of the conductor ''E''.
Tate's algorithm can be greatly simplified if the characteristic of the residue class field is not 2 or 3; in this case the type and ''c'' and ''f'' can be read off from the valuations of ''j'' and Δ (defined below).
Tate's algorithm was introduced by as an improvement of the description of the Néron model of an elliptic curve by .
==Notation==
Assume that all the coefficients of the equation of the curve lie in a complete discrete valuation ring ''R'' with perfect residue field and maximal ideal generated by a prime π.
The elliptic curve is given by the equation
:y^2+a_1xy+a_3y = x^3+a_2x^2+a_4x+a_6.\
Define:
:a_=a_i/\pi^m
:b_2=a_1^2+4a_2
:b_4=a_1a_3+2a_4^{}
:b_6=a_3^2+4a_6
:b_8=a_1^2a_6-a_1a_3a_4+4a_2a_6+a_2a_3^2-a_4^2
:c_4=b_2^2-24b_4
:c_6=-b_2^3+36b_2b_4-216b_6
:\Delta=-b_2^2b_8-8b_4^3-27b_6^2+9b_2b_4b_6
:j=c_4^3/\Delta.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Tate's algorithm」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.